1. Formal methods: foundations and applications :
Author: Juliano Iyoda, Leonardo de Moura (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses
Classification :
QA76
.
9
.
F67
B73
2013
